admin.el tweaks
authorGlenn Morris <rgm@gnu.org>
Sat, 10 May 2014 21:59:05 +0000 (14:59 -0700)
committerGlenn Morris <rgm@gnu.org>
Sat, 10 May 2014 21:59:05 +0000 (14:59 -0700)
commit10ccd2ddd51975a5d23511caee2de818b2741a10
treeb4f551bd30c075a3b982473eede98ddb6d9b3f28
parent72a5de096a3932f3850ca759e812a1f8bd799b81
admin.el tweaks

* admin/admin.el (set-version-in-file): Don't set identical version.
(set-version): Provide default version number.
(set-version, set-copyright): Give start/end messages.
admin/ChangeLog
admin/admin.el